Unsolved metas at the following locations:
  PruneBadRigidDef.agda:12,47-48
